Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
381	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2012, Article 07, pages 1–24 http://cjtcs.cs.uchicago.edu/ Computational Models with No Linear Speedup Amir M. Ben-Amram Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:46:25 Computability theory Computational complexity theory Computational resources Models of computation Linear speedup theorem Universal Turing machine Speedup theorem DTIME Time complexity Theoretical computer science Applied mathematics Turing machine
382	Automated Hierarchy Discovery for Planning in Partially Observable Environments Laurent Charlin & Pascal Poupart David R. Cheriton School of Computer Science Faculty of Mathematics Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-11-23 03:02:24 Applied mathematics Dynamic programming Stochastic control Computability theory Recursion Mathematical optimization Control theory Finite-state machine Markov decision process Statistics Markov processes Mathematical sciences
383	Witnessing Side Effects TACHIO TERAUCHI Tohoku University and ALEX AIKEN Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-02 04:10:18 Lambda calculus Confluence Computer science Functional analysis Theoretical computer science Applied mathematics Computability theory
384	Computing & reading 5: The Future: What’s going on? Willard McCarty Professor of Humanities Computing King’s College London Add to Reading List Source URL: www.mccarty.org.uk Language: English - Date: 2012-02-05 04:03:00 Computer science Turing machine Models of computation Formal methods Turing machine gallery Arseny Avraamov Alan Turing Computable number Computability Computability theory Theory of computation Theoretical computer science
385	888: LLVM Week 3 - LLVM-IR II Tobias Grosser Exerciselast week Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Recursion Programming idioms Compilers LLVM Fibonacci number Clang Euclidean algorithm Infinite loop Computability theory Computer programming Software Computing
386	Synthesis of Recursive Functions with Interdependent Parameters Martin Muhlpfordt ¨ and Ute Schmid Add to Reading List Source URL: www-alg.ist.hokudai.ac.jp Language: English - Date: 2014-03-14 14:24:10 Theory of computation Computer science Digital typography Mathematics Latin alphabets Primitive recursive function World glyph set Computability theory Theoretical computer science Character encoding
387	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
388	Distributing Frequency-Dependent Data Stream Computations ∗ Sumit Ganguly † Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:51 Abstract algebra Combinatorics Permutation Streaming algorithm Ω-automaton Theoretical computer science Computability theory Computer science Normal distribution Mathematics Algorithms Automata theory
389	Recursion Theory Frank Stephan October 8, 2012 Recursion theory deals with the fundamental concepts on what subsets of natural numbers (or other famous countable domains) could be defined effectively and how Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-08 00:46:12 Mathematics Mathematical logic Recursively enumerable set Primitive recursive function Recursion Diophantine set Μ operator Computability Recursive set Computability theory Theoretical computer science Theory of computation
390	On Process Complexity Adam R. Day August 10, 2010 Abstract Process complexity is one of the basic variants of Kolmogorov complexity. Unlike plain Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:30:32 Computability theory Descriptive complexity Kolmogorov complexity

UPDATE